Handbook of model checking
- Författare
- (Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2016 | Schweiz, Cham, Switzerland | xxiv, 1210 pages illustrations 24 cm | 978-3-319-10574-1 |